✓ Formal verification

type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers

Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·1d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·15h·
Discuss: Hacker News
🤝Using AI for programming
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔌Embedded
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·4h·
Discuss: Hacker News
🤖AI
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·10h·
Discuss: Hacker News
🤖AI
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
🤝Using AI for programming
WeakC4, or Distilling an Emergent Object
2swap.github.io·6h·
Discuss: Hacker News
🤖AI
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🔌Embedded
Scheme Basics
courses.cs.washington.edu·18h·
Discuss: Hacker News, Hacker News
🔌Embedded
Lobsters Interview with Matklad
lobste.rs·17h·
Discuss: Lobsters
🤝Using AI for programming
(Alpha Release 0.0.2) Asked Qwen-30b-a3b with Local Deep Think to design a SOTA inference algorithm | Comparison with Gemini 2.5 pro
reddit.com·5h·
Discuss: r/LocalLLaMA
🤖AI
too many model context protocol servers and LLM allocations on the dance floor
simonwillison.net·13h
🤝Using AI for programming
Harper Evolves
elijahpotter.dev·2d·
Discuss: Hacker News, Hacker News
🤖AI
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·14h·
Discuss: Hacker News
🤝Using AI for programming
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·1d·
Discuss: Hacker News
🗃️Local databases
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.org·17h·
Discuss: Hacker News, Hacker News
🤖AI
Are we solving digital identity or revealing we've lost what we're proving?
syntheticauth.ai·10h·
Discuss: Hacker News
🤝Using AI for programming
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1d·
Discuss: Hacker News, r/programming
🔌Embedded
Building a Regex Engine
abstractsyntaxseed.com·2d·
Discuss: Lobsters, Hacker News
🔌Embedded
Racket 8.18 Released
blog.racket-lang.org·22h·
Discuss: Hacker News
🔌Embedded